SUBGROUPS OF SLn OVER A SEMILOCAL RING
نویسنده
چکیده
Let R be a commutative semilocal ring, G = SL(n; R) be the special linear group of degree n 3 over R and T = SD(n; R) be its subgroup of diagonal matrices. In the present paper we describe subgroups of G containing T under some mild restrictions on the residue elds of R. More precisely we prove the following result (we refer to Sections 2 o and 3 o for an explanation of all deenitions and notation used in this statement). Theorem 1. Let n 3 be a natural number and R be a semilocal ring, all of whose residue elds contain at least 3n + 2 elements. Then the standard description of subgroups of ? = SL(n; R) containing the diagonal subgroup T = SD(n; R) holds. In other words, for any such subgroup H there exists a unique D-net of ideals such that ?() H N ? (). This result generalises my earlier results, published in V3], where R was supposed to be a eld. However the proof here does not repeat the proofs presented in V3]. To the contrary, it is based on a reduction to the results of V3]. From a general viewpoint Theorem 1 is a description of overgroups of a split maximal torus in a Chevalley group of type A l. It is worth to stress the fact that unlike the case of extended Chevalley groups description of such overgroups in ordinary Chevalley groups was known only for elds. The paper is organised as follows. In 1 o we discuss previously known related results and in 2 o and 3 o we introduce the necessary notation and 1991 Mathematics Subject Classiication. 20G15, 20G35.
منابع مشابه
Reduction of Structure for Torsors over Semilocal Rings
Let G be a reductive affine group scheme defined over a semilocal ring k. Assume that either G is semisimple or k is normal and noetherian. We show that G has a finite k-subgroup S such that the natural map H(R,S) → H(R, G) is surjective for every semilocal ring R containing k. In other words, G-torsors over Spec(R) admit reduction of structure to S. We also show that the natural map H(X, S) → ...
متن کاملTits Indices over Semilocal Rings
We present a simplified version of Tits’ proof of the classification of semisimple algebraic groups, which remains valid over semilocal rings. We also provide explicit conditions on anisotropic groups to appear as anisotropic kernels of semisimple groups of a given index.
متن کاملCongruence Subgroups in the Hurwitz Quaternion Order
We clarify the explicit structure of the Hurwitz quaternion order, which is of fundamental importance in Riemann surface theory and systolic geometry. We present some properties of the associated congruence subgroups. Namely, we show that a Hurwitz group defined by a congruence subgroup associated with an odd ideal, is necessarily defined by a principal congruence subgroup. All such Hurwitz gro...
متن کاملThe Indecomposable K3 of Fields
In this note, we describe an extension of Hubert's Theorem 90 for K2 of fields to the relative K<i of semilocal PID's containing a field. Most of the results for K2 of fields proven in [M-S and S] then carry over to the relative K% of semilocal PID's containing a field, e.g. computation of the torsion subgroup, and the norm residue isomorphism. Applying this to the semilocal ring of {0,1} in A^...
متن کاملOn Semilocal Modules and Rings
It is well-known that a ring R is semiperfect if and only if RR (or RR) is a supplemented module. Considering weak supplements instead of supplements we show that weakly supplemented modules M are semilocal (i.e., M/Rad(M) is semisimple) and that R is a semilocal ring if and only if RR (or RR) is weakly supplemented. In this context the notion of finite hollow dimension (or finite dual Goldie d...
متن کامل